English logical framework hierarchy: tłumaczenie na inne języki